翻訳と辞書 Words near each other ・ alex ・ alexis ・ alf ・ alfl ・ algebra ・ algebra of communicating processes ・ algebraic ・ algebraic compiler and translator ・ algebraic data type ・ algebraic interpretive dialogue ・ algebraic logic functional language ・ algebraic manipulation package ・ algebraic specification language ・ algebraic structure ・ algol ・ algol 58 ・ algol 60 ・ algol 60 modified ・ algol 60 revised ・ algol 68 Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク algebraic logic functional language ： FOLDOC Algebraic Logic Functional language (ALF) A language by Rudolf Opalla which combines functional programming and logic programming techniques. ALF is based on Horn clause logic with equality which consists of {predicates} and Horn clauses for logic programming, and functions and equations for functional programming. Any functional expression can be used in a goal literal and arbitrary predicates can occur in conditions of equations. ALF uses narrowing and {rewriting}. ALF includes a compiler to {Warren Abstract Machine} code and run-time support. {(ftp://ftp.germany.eu.net/pub/programming/languages/LogicFunctional)}. ["The Implementation of the Functional-Logic Language ALF", M. Hanus and A. Schwab]. (1992-10-08) スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.